#ifndef __DEBUG_TIME_H__
#define __DEBUG_TIME_H__

#define DEBUG_TIME 1

void set_start_time(int id, long time);

void set_stop_time(int id, long time);

long get_id_time(int id);

void printf_id_time(int id);

void printf_id_time_name(int id, char* name);
#endif